Towards a unified theory of logic programming semantics: Level mapping characterizations of disjunctive stable models

Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of perspectives in a uniform way. Most recently, however, a new methodology has been proposed which allows one to derive uniform characterizations of different declarative semantics for logic programs with negation. We will extend these studies by a result which characterizes stable models for disjunctive logic programs in the sense mapped out by the unifying methodology.